Justification Masking in OWL
نویسندگان
چکیده
This paper presents a discussion on the phenomena of masking in the context of justifications for entailments. Various types of masking are introduced and a definition for each type is given.
منابع مشابه
Justification Masking in Ontologies
This paper presents a characterisation of and definitions for the phenomenon of masking in the context of justifications for entailments in ontologies. In essence masking is present within a justification, over a set of justifications, or over a complete ontology when the number of justifications for an entailment does not reflect the number of reasons for that entailment. Four types of masking...
متن کاملMoonstruck Primates: Owl Monkeys (Aotus) Need Moonlight for Nocturnal Activity in Their Natural Environment
Primates show activity patterns ranging from nocturnality to diurnality, with a few species showing activity both during day and night. Among anthropoids (monkeys, apes and humans), nocturnality is only present in the Central and South American owl monkey genus Aotus. Unlike other tropical Aotus species, the Azara's owl monkeys (A. azarai) of the subtropics have switched their activity pattern ...
متن کاملExplanation of OWL Entailments in Protege 4
This poster and demo presents new OWL ontology explanation tools and facilities that are available in Protégé 4. These explanations take the form of justifications. A justification is a minimal set of axioms that is sufficient for a given entailment to hold. Justification finding services for Protégé 4 are presented, including what have become defacto explanation services such as root/derived p...
متن کاملFrom Justifications Towards Proofs for Ontology Engineering
Over the past few years there has been a significant amount of interest in the area of explaining entailments in OWL ontologies1. Without some kind of tool support, it can be very difficult, or even impossible, to work out why entailments arise in ontologies. Even in small ontologies that only contain tens of axioms, there can be multiple reasons for an entailment, none of which may be obvious....
متن کاملThe OWL Explanation Workbench: A toolkit for working with justifications for entailments in OWL ontologies
In this article we present the Explanation Workbench, a library and tool for working with justification-based explanations of entailments in OWL ontologies. The workbench comprises a software library and Protégé plugin. The library can be used in standalone OWL API based applications that require the ability to generate and consume justifications. The Protégé plugin, which is underpinned by the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010